The Tree Identify Protocol of IEEE 1394 in

نویسندگان

  • C. Shankland
  • M. van der Zwaag
  • Carron Shankland
چکیده

We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three diierent levels of detail using CRL. We use the cones and foci veriication technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Tree Identify Protocol of IEEE 1394

We specify the tree identify protocol of a high performance serial multi-media bus (IEEE standard 1394 IEE95]) in three diierent levels of detail using CRL GP95]. We propose using the cones and foci veriication technique of Groote and Springintveld GS95] to show the descriptions equivalent under branching bisimulation. The proof of the equivalence of the two more abstract speciications is shown...

متن کامل

A Survey of Formal Methods Applied to Leader Election in IEEE 1394

We present a survey of formal speci cation techniques applied to the Tree Identify Protocol of the IEEE 1394 High Performance Serial Bus. Speci cations written in a variety of formalisms are compared with regard to a number of criteria including expressiveness, readability, standardisation, and level of analysis.

متن کامل

A Timed Verification of the IEEE 1394 Leader Election Protocol

The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error sit...

متن کامل

A Timed Verification of the IEEE 1394 Leader Election

The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error sit...

متن کامل

An Empirical Analysis of the IEEE-1394 Serial Bus Protocol

Recently, we have begun to see a convergence of traditional network and bus technologies. The IEEE-1394 Serial Bus Protocol (FireWire) is a good example of this convergence, targeting the interconnection of consumer electronics, computers, and peripheral devices. IEEE 1394 provides for a high-speed, plug-and-play, peer-to-peer interconnect supporting both asynchronous and isochronous traffic. I...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998